Static key

Results: 278



#Item
271Logic in computer science / Formal methods / ESC/Java / Programming paradigms / Static program analysis / Predicate transformer semantics / KeY / Postcondition / Invariant / Software engineering / Theoretical computer science / Computing

Teaching program specification and verification using JML and ESC/Java2 Erik Poll

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2009-08-15 11:27:47
272Clear Channel Communications / Fox Broadcasting Company / Fox Entertainment Group / Metromedia / Fox Sports / Ultimate Fighting Championship / Speed / Fox Deportes / Television in the United States / News Corporation / Sports media

T-MINUS 100 DAYS & COUNTING TO LAUNCH OF FOX SPORTS 1 Day 1 Schedule Set; Key Talent Hires Made; New Programs Developing

Add to Reading List

Source URL: static.foxsports.com

Language: English - Date: 2013-05-09 12:00:12
273Cryptlib / PKCS / X.509 / RSA / Key exchange / Microsoft CryptoAPI / Key / Man-in-the-middle attack / Cypherpunk / Cryptography / Cryptographic software / Public-key cryptography

USENIX Association Proceedings of the

Add to Reading List

Source URL: static.usenix.org

Language: English - Date: 2002-07-30 19:01:06
274Groupware / Email / Proprietary software / MDaemon / Online chat / Instant messaging / Research In Motion / Push email / Exchange ActiveSync / Computing / Software / Computer-mediated communication

Email, Collaboration, Instant Messaging, and Mobile Device Management Trusted by SMBs Key Features

Add to Reading List

Source URL: static.altn.com

Language: English - Date: 2013-05-16 16:22:44
275Compiler optimizations / Compiler construction / Compilers / Open64 / Loongson / Loop optimization / Static single assignment form / Compiler / GNU Compiler Collection / Software / Programming language implementation / Computing

Open64 on MIPS: porting and enhancing Open64 for Loongson II Zhou Shuchang, Liu Ying, Lu Fang, Yin Le, Huang Lei, Li Shuai, Ma Chunhui, Gao Zhitao, Lian Ruiqi Key Laboratory of Computer System and Architecture

Add to Reading List

Source URL: www.capsl.udel.edu

Language: English - Date: 2009-03-26 14:52:25
276Public-key cryptography / Elliptic curve cryptography / Diffie–Hellman key exchange / MQV / Static key / Ephemeral key / Key-agreement protocol / Key / NSA Suite B Cryptography / Cryptography / Key management / Cryptographic protocols

PDF Document

Add to Reading List

Source URL: csrc.nist.gov

Language: English - Date: 2012-02-06 14:56:08
277National Institute of Standards and Technology / Cryptography standards / Message authentication codes / Computer security / Static key / Digital Signature Algorithm / Cryptography / Key management / NIST Special Publication 800-53

PDF Document

Add to Reading List

Source URL: csrc.nist.gov

- Date: 2012-12-14 10:29:04
278Elliptic curve cryptography / NSA Suite B Cryptography / Key / Public-key cryptography / Diffie–Hellman key exchange / Ephemeral key / Static key / Cryptography / Key management / Elliptic curve Diffie–Hellman

PDF Document

Add to Reading List

Source URL: www.nsa.gov

Language: English - Date: 2009-09-22 08:04:55
UPDATE